منابع مشابه
Remarks on Herbrand Analyses
We show that for theories T + with function parameters, in general (1) T + ` A , A =⇒ / T + ` A (even if A does not contain function parameters and T + is an open theory), where A is the Herbrand normal form of A and A is a Herbrand realization of A . A similar result holds for first order theories T if the index functions (used in the definition of A from A) are allowed to occur in instances o...
متن کاملReview on Flavianet analyses
We present a global analysis of leptonic and semileptonic kaon decay data, including all recent results published by the BNL-E865, KLOE, KTeV, ISTRA+ and NA48 experiments. This analysis , in conjunction with precise lattice calculations of the hadronic matrix elements now available, leads to a very accurate determination of V us , and allows us to perform several stringent tests of the Standard...
متن کاملOn citing well.
The appearance of new ideas and discoveries in the scientific literature is a reflection of ongoing scientific progress. Individual articles are nodes of scientific knowledge, but citations of published work link together the concepts, technologies and advances that define scientific disciplines. Though information technology and databases have helped us to better manage the expanding scientifi...
متن کاملWell, well, well water.
Although the multiplication of bacteriophages (phages) has a substantial impact on the biosphere, comparatively little is known about how the external environment affects phage production. Here we report that sub-lethal concentrations of certain antibiotics can substantially stimulate the host bacterial cell’s production of some virulent phage. For example, a low dosage of cefotaxime, a cephalo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Public Health
سال: 1895
ISSN: 0033-3506
DOI: 10.1016/s0033-3506(05)82651-4